Planificación de misiones con verificación formal usando LLMs en agricultura de precisión
Descubre cómo la verificación formal con LLMs y LTL mejora la planificación de misiones en agricultura de precisión, reduciendo ambigüedades del lenguaje
#robótica agrícola
Fusión temprana de LiDAR y reordenamiento para reconocimiento robusto de lugares
Descubre cómo MinkUNeXt-VINE++ mejora un 20% el reconocimiento en entornos agrícolas con fusión LiDAR y reordenamiento.